get_git_commit_id_short() {
    echo 0987654321
}
